[INFO] fetching crate prop 0.47.0...
[INFO] testing prop-0.47.0 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate prop 0.47.0
[INFO] finished tweaking crates.io crate prop 0.47.0
[INFO] tweaked toml for crates.io crate prop 0.47.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prop 0.47.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a38e9555b75b88f8d0ee0591edc55be0465b36349756e628683f5f635ce5c169
[INFO] running `Command { std: "docker" "start" "-a" "a38e9555b75b88f8d0ee0591edc55be0465b36349756e628683f5f635ce5c169", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a38e9555b75b88f8d0ee0591edc55be0465b36349756e628683f5f635ce5c169", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a38e9555b75b88f8d0ee0591edc55be0465b36349756e628683f5f635ce5c169", kill_on_drop: false }`
[INFO] [stdout] a38e9555b75b88f8d0ee0591edc55be0465b36349756e628683f5f635ce5c169
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 183d1e861544adcabf56dc4c15c365fad32a6e766b2df57cf01a6c6dd90102a3
[INFO] running `Command { std: "docker" "start" "-a" "183d1e861544adcabf56dc4c15c365fad32a6e766b2df57cf01a6c6dd90102a3", kill_on_drop: false }`
[INFO] [stderr]    Compiling prop v0.47.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/existence.rs:432:27
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^-------------------------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/existence.rs:432:43
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:105:29
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^--------------------^
[INFO] [stdout]     |                       |               |
[INFO] [stdout]     |                       |               any code following this expression is unreachable
[INFO] [stdout]     |                       unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:105:45
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:537:22
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^----------------------------------------------------^
[INFO] [stdout]     |                      |               |
[INFO] [stdout]     |                      |               any code following this expression is unreachable
[INFO] [stdout]     |                      unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:537:38
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:676:62
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ------------------------^
[INFO] [stdout]     |                                      |                       |
[INFO] [stdout]     |                                      |                       unreachable expression
[INFO] [stdout]     |                                      any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:676:38
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1178:43
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1178:59
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1190:29
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1203:43
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1203:59
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1219:13
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1219:29
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1302:44
[INFO] [stdout]      |
[INFO] [stdout] 1302 |            (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1303 | ||             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | ||             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1302:60
[INFO] [stdout]      |
[INFO] [stdout] 1302 |           (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1303 | |             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | |             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1306:44
[INFO] [stdout]      |
[INFO] [stdout] 1306 |            (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1307 | ||             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | ||             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1306:60
[INFO] [stdout]      |
[INFO] [stdout] 1306 |           (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1307 | |             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | |             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1317:13
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1317:29
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1322:13
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1322:29
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1329:38
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                      ^^^^^^^^^^^^^^^^---------------------------^
[INFO] [stdout]      |                                      |               |
[INFO] [stdout]      |                                      |               any code following this expression is unreachable
[INFO] [stdout]      |                                      unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1329:54
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^------------------^
[INFO] [stdout]     |             |               |
[INFO] [stdout]     |             |               any code following this expression is unreachable
[INFO] [stdout]     |             unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:219:29
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:231:30
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^-----------------^
[INFO] [stdout]     |                              |               |
[INFO] [stdout]     |                              |               any code following this expression is unreachable
[INFO] [stdout]     |                              unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:231:46
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]   --> src/ava_modal.rs:79:13
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^-----------------------^
[INFO] [stdout]    |             |               |
[INFO] [stdout]    |             |               any code following this expression is unreachable
[INFO] [stdout]    |             unreachable expression
[INFO] [stdout]    |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]   --> src/ava_modal.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/ava_modal.rs:105:27
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^----------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/ava_modal.rs:105:43
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:105:20
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^----------------^
[INFO] [stdout]     |                    |               |
[INFO] [stdout]     |                    |               any code following this expression is unreachable
[INFO] [stdout]     |                    unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:105:36
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^-----------------------------^
[INFO] [stdout]     |                                 |               |
[INFO] [stdout]     |                                 |               any code following this expression is unreachable
[INFO] [stdout]     |                                 unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:151:49
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.42s
[INFO] running `Command { std: "docker" "inspect" "183d1e861544adcabf56dc4c15c365fad32a6e766b2df57cf01a6c6dd90102a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "183d1e861544adcabf56dc4c15c365fad32a6e766b2df57cf01a6c6dd90102a3", kill_on_drop: false }`
[INFO] [stdout] 183d1e861544adcabf56dc4c15c365fad32a6e766b2df57cf01a6c6dd90102a3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5df5d1f2d94c8fc2ac25cfac8bc7ac5755f9f36e7c25b4f796d06908378767d8
[INFO] running `Command { std: "docker" "start" "-a" "5df5d1f2d94c8fc2ac25cfac8bc7ac5755f9f36e7c25b4f796d06908378767d8", kill_on_drop: false }`
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/existence.rs:432:27
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^-------------------------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/existence.rs:432:43
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:105:29
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^--------------------^
[INFO] [stdout]     |                       |               |
[INFO] [stdout]     |                       |               any code following this expression is unreachable
[INFO] [stdout]     |                       unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:105:45
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:537:22
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^----------------------------------------------------^
[INFO] [stdout]     |                      |               |
[INFO] [stdout]     |                      |               any code following this expression is unreachable
[INFO] [stdout]     |                      unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:537:38
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:676:62
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ------------------------^
[INFO] [stdout]     |                                      |                       |
[INFO] [stdout]     |                                      |                       unreachable expression
[INFO] [stdout]     |                                      any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:676:38
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1178:43
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1178:59
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1190:29
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1203:43
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1203:59
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1219:13
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1219:29
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1302:44
[INFO] [stdout]      |
[INFO] [stdout] 1302 |            (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1303 | ||             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | ||             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1302:60
[INFO] [stdout]      |
[INFO] [stdout] 1302 |           (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1303 | |             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | |             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1306:44
[INFO] [stdout]      |
[INFO] [stdout] 1306 |            (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1307 | ||             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | ||             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1306:60
[INFO] [stdout]      |
[INFO] [stdout] 1306 |           (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1307 | |             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | |             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1317:13
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1317:29
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1322:13
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1322:29
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1329:38
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                      ^^^^^^^^^^^^^^^^---------------------------^
[INFO] [stdout]      |                                      |               |
[INFO] [stdout]      |                                      |               any code following this expression is unreachable
[INFO] [stdout]      |                                      unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1329:54
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^------------------^
[INFO] [stdout]     |             |               |
[INFO] [stdout]     |             |               any code following this expression is unreachable
[INFO] [stdout]     |             unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:219:29
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling prop v0.47.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:231:30
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^-----------------^
[INFO] [stdout]     |                              |               |
[INFO] [stdout]     |                              |               any code following this expression is unreachable
[INFO] [stdout]     |                              unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:231:46
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]   --> src/ava_modal.rs:79:13
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^-----------------------^
[INFO] [stdout]    |             |               |
[INFO] [stdout]    |             |               any code following this expression is unreachable
[INFO] [stdout]    |             unreachable expression
[INFO] [stdout]    |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]   --> src/ava_modal.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/ava_modal.rs:105:27
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^----------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/ava_modal.rs:105:43
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:105:20
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^----------------^
[INFO] [stdout]     |                    |               |
[INFO] [stdout]     |                    |               any code following this expression is unreachable
[INFO] [stdout]     |                    unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:105:36
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^-----------------------------^
[INFO] [stdout]     |                                 |               |
[INFO] [stdout]     |                                 |               any code following this expression is unreachable
[INFO] [stdout]     |                                 unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:151:49
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/existence.rs:432:27
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^-------------------------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/existence.rs:432:43
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:105:29
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^--------------------^
[INFO] [stdout]     |                       |               |
[INFO] [stdout]     |                       |               any code following this expression is unreachable
[INFO] [stdout]     |                       unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:105:45
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:537:22
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^----------------------------------------------------^
[INFO] [stdout]     |                      |               |
[INFO] [stdout]     |                      |               any code following this expression is unreachable
[INFO] [stdout]     |                      unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:537:38
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:676:62
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ------------------------^
[INFO] [stdout]     |                                      |                       |
[INFO] [stdout]     |                                      |                       unreachable expression
[INFO] [stdout]     |                                      any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:676:38
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1178:43
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1178:59
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1190:29
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1203:43
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1203:59
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1219:13
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1219:29
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1302:44
[INFO] [stdout]      |
[INFO] [stdout] 1302 |            (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1303 | ||             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | ||             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1302:60
[INFO] [stdout]      |
[INFO] [stdout] 1302 |           (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1303 | |             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | |             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1306:44
[INFO] [stdout]      |
[INFO] [stdout] 1306 |            (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1307 | ||             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | ||             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1306:60
[INFO] [stdout]      |
[INFO] [stdout] 1306 |           (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1307 | |             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | |             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1317:13
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1317:29
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1322:13
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1322:29
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1329:38
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                      ^^^^^^^^^^^^^^^^---------------------------^
[INFO] [stdout]      |                                      |               |
[INFO] [stdout]      |                                      |               any code following this expression is unreachable
[INFO] [stdout]      |                                      unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1329:54
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^------------------^
[INFO] [stdout]     |             |               |
[INFO] [stdout]     |             |               any code following this expression is unreachable
[INFO] [stdout]     |             unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:219:29
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:231:30
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^-----------------^
[INFO] [stdout]     |                              |               |
[INFO] [stdout]     |                              |               any code following this expression is unreachable
[INFO] [stdout]     |                              unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:231:46
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]   --> src/ava_modal.rs:79:13
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^-----------------------^
[INFO] [stdout]    |             |               |
[INFO] [stdout]    |             |               any code following this expression is unreachable
[INFO] [stdout]    |             unreachable expression
[INFO] [stdout]    |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]   --> src/ava_modal.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/ava_modal.rs:105:27
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^----------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/ava_modal.rs:105:43
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:105:20
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^----------------^
[INFO] [stdout]     |                    |               |
[INFO] [stdout]     |                    |               any code following this expression is unreachable
[INFO] [stdout]     |                    unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:105:36
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^-----------------------------^
[INFO] [stdout]     |                                 |               |
[INFO] [stdout]     |                                 |               any code following this expression is unreachable
[INFO] [stdout]     |                                 unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:151:49
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a module
[INFO] [stdout]    --> src/path_semantics/lprop.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | pub mod tests {
[INFO] [stdout]     | ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:1:9
[INFO] [stdout]     |
[INFO] [stdout]   1 | #![deny(missing_docs)]
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:141:5
[INFO] [stdout]     |
[INFO] [stdout] 141 |     pub fn sort_min<T: LProp, U: LProp>() {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:148:5
[INFO] [stdout]     |
[INFO] [stdout] 148 |     pub fn check_nan<A: LProp<N = NaN>, B: LProp<N = NaN>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     pub fn check_zero<A: LProp<N = Zero>, B: LProp<N = Zero>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:150:5
[INFO] [stdout]     |
[INFO] [stdout] 150 |     pub fn check_one<A: LProp<N = One>, B: LProp<N = One>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:151:5
[INFO] [stdout]     |
[INFO] [stdout] 151 |     pub fn check_zero_one<A: LProp<N = Zero>, B: LProp<N = One>>(a: A, b: B) {lt_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:152:5
[INFO] [stdout]     |
[INFO] [stdout] 152 | /     pub fn check_undef_nan<A: LProp, B: LProp<N = NaN>>(a: A, b: B)
[INFO] [stdout] 153 | |         where A::N: Lt<NaN>, NaN: Lt<A::N>
[INFO] [stdout]     | |__________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     pub fn check_one_two() {lt_lev(LTrue(_1), LTrue(_2))}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prop` (lib test) due to 8 previous errors; 19 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "5df5d1f2d94c8fc2ac25cfac8bc7ac5755f9f36e7c25b4f796d06908378767d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5df5d1f2d94c8fc2ac25cfac8bc7ac5755f9f36e7c25b4f796d06908378767d8", kill_on_drop: false }`
[INFO] [stdout] 5df5d1f2d94c8fc2ac25cfac8bc7ac5755f9f36e7c25b4f796d06908378767d8
